Skip to content

Clarify intent#389

Merged
benjie merged 1 commit intomainfrom
clarify
Apr 23, 2026
Merged

Clarify intent#389
benjie merged 1 commit intomainfrom
clarify

Conversation

@benjie
Copy link
Copy Markdown
Member

@benjie benjie commented Apr 23, 2026

Poor wording in #175 led to confusion in #379 (comment)

@benjie benjie merged commit c2e53d5 into main Apr 23, 2026
6 checks passed
@benjie benjie deleted the clarify branch April 23, 2026 12:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant